Machines

Machines Reasoning About Machines: 2015

STAGE-DISCHARGE MODELING USING SUPPORT VECTOR MACHINES

Establishment of rating curves are often required by the hydrologists for flow estimates in the streams, rivers etc. Measurement of discharge in a river is a time-consuming, expensive, and difficult process and the conventional approach of regression analysis of stage-discharge relation does not provide encouraging results especially during the floods. P

From Reduction Machines To Narrowing Machines

Narrowing, the evaluation mechanism of functional logic languages, can be seen as a generalization of reduction, the evaluation mechanism of purely functional languages. The unidirec-tional pattern matching, which is used for parameter passing in functional languages, is simply replaced by the bidirectional uniication known from logic programming languages. We show in this paper, how to extend ...

DESIGN OF ELECTRIC MACHINES: Axial Flux Machines

Simulating Turing machines on Maurer machines

In a previous paper, we used Maurer machines to model and analyse micro-architectures. In the current paper, we investigate the connections between Turing machines and Maurer machines with the purpose to gain an insight into computability issues relating to Maurer machines. We introduce ways to simulate Turing machines on a Maurer machine which, dissenting from the classical theory of computabi...